-- MAIN == ERROR at global: execution aborted in function sub
DEF MAIN:nat == sub(3,6)
